Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
531	PDF Document Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:03 Lambda calculus Digital electronics Logic in computer science Digital signal processing Fixed-point combinator Recursion Transformer Monad Combinatory logic Theoretical computer science Electronic engineering Applied mathematics
532	PDF Document Add to Reading List Source URL: portalparts.acm.org Language: English - Date: 2006-12-22 09:42:56 Logic in computer science Mathematical logic Models of computation Combinatory logic Lambda calculus Algorithm Programming language Petri net Parallel computing Mathematics Theoretical computer science Applied mathematics
533	PDF Document Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: English - Date: 2008-11-04 01:37:22 Logic in computer science Formal languages Lambda calculus Mathematical logic Rewriting Computability theory Combinatory logic Normal form Overlap Theoretical computer science Mathematics Computer science
534	PDF Document Add to Reading List Source URL: www.bcl.hamilton.ie Language: English - Date: 2006-12-26 18:35:50 Derivative Double tangent bundle Combinatory logic Mathematical analysis Differential geometry Mathematics
535	PDF Document Add to Reading List Source URL: dcm-workshop.org.uk. Language: English - Date: 2006-01-09 01:28:24 Models of computation Multiset Theoretical computer science Function Combinatory logic Valuation Lambda calculus Mathematics Mathematical logic Logic in computer science
536	PDF Document Add to Reading List Source URL: user.cs.tu-berlin.de Language: English - Date: 2010-12-03 06:37:32 Group theory Parity Parity of a permutation Permutations Model theory Admissible rule Term algebra Combinatory logic T1 Mathematics Mathematical logic Logic
537	PDF Document Add to Reading List Source URL: keccak.noekeon.org Language: English - Date: 2013-02-27 15:26:40 Mathematical logic Keccak NIST hash function competition Symbol Combinatory logic Bitwise operation MOV Boolean algebra Hamming weight Computer architecture Binary arithmetic Mathematics
538	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-09-29 11:55:17 Sidon sequence XTR Combinatory logic Euclidean algorithm Forcing Mathematics Number theory Combinatorics
539	Untitled Add to Reading List Source URL: alexandria.tue.nl Language: English - Date: 2010-12-20 08:24:59 Combinatory logic Cartesian coordinate system FO Block design Projective plane Mathematics Geometry Projective geometry
540	PDF Document Add to Reading List Source URL: users.i.com.ua Language: English - Date: 2004-04-01 11:58:00 Fourier analysis Formula for primes Combinatory logic Lambda calculus Logic in computer science